Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems
نویسنده
چکیده
Speciication and rapid prototyping of graph manipulating software by means of PROgrammed Graph REwriting Systems (PROGRES) is a paradigm, which attracts more and more interests in various elds of computer science. Nowadays produced speci-cations for process modelling tools, database query languages, or Conceptual Graph manipulations have a typical size of about 100 printed pages. They suuer severely from the lack of any graph rewriting system module concept. As a rst remedy, we have just developed a module concept in the avor of Modula-2 for our graph rewriting language and system PROGRES. It supports a variety of programming-in-the-large styles, including the construction of Abstract Graph Types. Having made the experience that \full data abstraction" is in connict with the visual programming paradigm of PRO-GRES, we are now starting to add active database system concepts for the construction of updatable abstract graph views.
منابع مشابه
UML Packages for PROgrammed Graph REwriting Systems Andreas
Specification and rapid prototyping of graph manipulation software by means of PROgrammed Graph REwriting Systems (PROGRES) is a paradigm, which attracts more and more interest in various fields of computer science. Nowadays produced specifications for process modeling tools, database query languages, etc. have a typical size of about 100 to 300 printed pages. They suffer severely from the lack...
متن کاملANNIHILATING SUBMODULE GRAPHS FOR MODULES OVER COMMUTATIVE RINGS
In this article, we give several generalizations of the concept of annihilating ideal graph over a commutative ring with identity to modules. Weobserve that over a commutative ring $R$, $Bbb{AG}_*(_RM)$ isconnected and diam$Bbb{AG}_*(_RM)leq 3$. Moreover, if $Bbb{AG}_*(_RM)$ contains a cycle, then $mbox{gr}Bbb{AG}_*(_RM)leq 4$. Also for an $R$-module $M$ with$Bbb{A}_*(M)neq S(M)setminus {0}$, $...
متن کاملTHE ZERO-DIVISOR GRAPH OF A MODULE
Let R be a commutative ring with identity and M an R-module. In this paper, we associate a graph to M, sayΓ(RM), such that when M=R, Γ(RM) coincide with the zero-divisor graph of R. Many well-known results by D.F. Anderson and P.S. Livingston have been generalized for Γ(RM). We Will show that Γ(RM) is connected withdiam Γ(RM)≤ 3 and if Γ(RM) contains a cycle, then Γ(RM)≤4. We will also show tha...
متن کاملThe generalized total graph of modules respect to proper submodules over commutative rings.
Let $M$ be a module over a commutative ring $R$ and let $N$ be a proper submodule of $M$. The total graph of $M$ over $R$ with respect to $N$, denoted by $T(Gamma_{N}(M))$, have been introduced and studied in [2]. In this paper, A generalization of the total graph $T(Gamma_{N}(M))$, denoted by $T(Gamma_{N,I}(M))$ is presented, where $I$ is an ideal of $R$. It is the graph with all elements of $...
متن کاملA Submodule-Based Zero Divisors Graph for Modules
Let $R$ be commutative ring with identity and $M$ be an $R$-module. The zero divisor graph of $M$ is denoted $Gamma{(M)}$. In this study, we are going to generalize the zero divisor graph $Gamma(M)$ to submodule-based zero divisor graph $Gamma(M, N)$ by replacing elements whose product is zero with elements whose product is in some submodules $N$ of $M$. The main objective of this pa...
متن کامل